A Taxonomy of Verification and Validation of Software Requirement and Specifications1
نویسنده
چکیده
Assuring the quality of software requirement specifications is critical. Poor requirement specifications may make costly errors during the development process. Therefore methods and techniques for verification and validation of software requirement specifications are fundamentally important. This survey presents taxonomy of verification and validation of requirements and specifications that represents the “flow” from requirements to specifications.
منابع مشابه
Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project
Fault-based analysis is an early lifecycle approach to improving software quality by preventing and/or detecting pre-specified classes of faults prior to implementation. It assists in the selection of verification and validation techniques that can be applied in order to reduce risk. This paper presents our methodology for requirements-based fault analysis and its application to National Aerona...
متن کاملCatalogue of System and Software Properties
The use of formal methods has been recognized in different domains as a potential means for early validation and verification. However, correctly specifying formal properties is very hard due to the ambiguity of the typical textual requirements and the complexity of the formal languages. To this end, we define the Catalogue of System and Software Properties. Starting from a taxonomy of requirem...
متن کاملVerification and Validation of Common Derivative Terms Approximation in Meshfree Numerical Scheme
In order to improve the approximation of spatial derivatives without meshes, a set of meshfree numerical schemes for derivative terms is developed, which is compatible with the coordinates of Cartesian, cylindrical, and spherical. Based on the comparisons between numerical and theoretical solutions, errors and convergences are assessed by a posteriori method, which shows that the approximations...
متن کاملChecking Models, Proving Programs, and Testing Systems
We are all faced up to a flowering of concepts and methods in the area of software verification and validation, due to significant advances in the domain. This paper considers the main terms and expressions currently in use on the subjects of model, specification, program, system, proof, checking, testing. Some analysis of the use and combination of these terms is sketched, pointing out some co...
متن کاملRequirement Engineering Research
The requirement validation is vital for every successful software development. In this process, the requirements from the users are checks and analyzed with its consistency, completeness and correctness. The validation of requirements is a very vast research area in software engineering. In this presented article, some quality research approaches are cited for the software engineering researche...
متن کامل